Constructing process
نویسنده
چکیده
A method of constructing process categories as generalized relations on a category of process models is presented. The construction may be viewed as a 2-functor, allowing structural properties of the process categories to be derived from the underlying structure of the model categories. In particular, this allows one to infer the presence of linear structure in a process category. The construction yields Abramsky's category SProc when applied to any of the standard models of interleaved concurrency. SProc is also obtained as a process category upon the category of \sets in time" (i.e. trees) and this sheds new light on the analogy between SProc and \relations in time".
منابع مشابه
Comparison of FAHP and FANP Decision-Making Methods in Determining the Appropriate Locations for Constructing an Underground Dam for Water Harvesting
The recent droughts in Iran made a decline in groundwater table and the migration of villagers to cities was hindered supplying drinking water for the current population. Therefore it should be considered as an important issue. In this regard, it is possible to achieve this goal by constructing underground dams that recently have been suggested to replace by medium and small overland dams. The ...
متن کاملAnalyzing the plan accommodation and constructing the buildings components by using analytical hierarchy process AHP, the case study of Qazvin province in Iran
The quick growth of the population and the increasing need of the demands for developing caused the construction and production process formed with increasing technology than the past, this speeding in construction process caused the construction quality and executing engineering points and the lack of accommodation of construction to the plans increase more. So the purpose of this article is ...
متن کاملContour Crafting Process Plan Optimization Part II: Multi–Machine Cases
Contour Crafting is an emerging technology that uses robotics to construct free form building structures by repeatedly laying down layers of material such as concrete. The Contour Crafting technology scales up automated additive fabrication from building small industrial parts to constructing buildings. Tool path planning and optimization for Contour Crafting benefit the technology by increasin...
متن کاملThe role of optimal site selection of fire stations in urban safety
Constructing new urban facilities requires precise study of the proper sitting in different parts of a city. The first point for the accurate allocation of urban facilities, is to select the optimal site regarding different conditions and it matters when it comes to important factors such as saving lives and safety of the people. Therefore, the optimal site selection of fire stations is essenti...
متن کاملTowards constructing an Integrative, Multi-Level Model for Cognition: The Function of Semantic Networks
Integrated approaches try to connect different constructs in different theories and reinterpret them using a common conceptual framework. In this research, using the concept of processing levels, an integrated, three-level model of the cognitive systems has been proposed and evaluated. Processing levels are divided into three categories of Feature-Oriented, Semantic and Conceptual Level based o...
متن کاملThe Effect of Teaching History of Physics on Student-Teachers’ Understanding of the Process of Model Construction in Physics
To improve student teachers’ understanding of the process of model construction in Physics, it was hypothesized that teaching the history of Physics may be of help. To test this hypothesis, two groups of senior year female student-teachers in Teaching of Physics at one of the campuses of Farhangian University in Tehran were chosen: One group had passed a course on the history of Physics, while ...
متن کامل